java -Xms10240m -Xmx10240m -jar ./root/epmc-standard.jar check --model-input-files pnueli-zuck.10.prism --model-input-type prism --property-input-files pnueli-zuck.props --property-input-names live --translate-messages false --value-floating-point-output-native true --graphsolver-iterative-stop-criterion relative --graphsolver-iterative-tolerance 1e-6
assertions-disabled
start-parsing
done-parsing
model-checking
analysing-property live
start-building-explorer
start-building-initial-states-explorer
done-building-initial-states-explorer
done-building-explorer
build-model-start
build-model-states-explored 2746 2746
build-model-states-explored 6681 3935
build-model-states-explored 11304 4623
build-model-states-explored 15809 4505
build-model-states-explored 20436 4627
build-model-states-explored 24807 4371
build-model-states-explored 29452 4645
build-model-states-explored 34075 4623
build-model-states-explored 38682 4607
build-model-states-explored 43300 4618
build-model-states-explored 47906 4606
build-model-states-explored 51981 4075
build-model-states-explored 56613 4632
build-model-states-explored 61222 4609
build-model-states-explored 65796 4574
build-model-states-explored 70419 4623
build-model-states-explored 75057 4638
build-model-states-explored 79689 4632
build-model-states-explored 84251 4561
build-model-states-explored 88690 4440
build-model-states-explored 93086 4396
build-model-states-explored 96572 3486
build-model-states-explored 101170 4598
build-model-states-explored 105783 4613
build-model-states-explored 110374 4591
build-model-states-explored 114935 4561
build-model-states-explored 119525 4590
build-model-states-explored 124102 4577
build-model-states-explored 128691 4589
build-model-states-explored 133300 4609
build-model-states-explored 137900 4600
build-model-states-explored 142512 4612
build-model-states-explored 147129 4617
build-model-states-explored 151691 4562
build-model-states-explored 156271 4580
build-model-states-explored 160879 4608
build-model-states-explored 165430 4551
build-model-states-explored 170048 4618
build-model-states-explored 174635 4587
build-model-states-explored 179262 4627
build-model-states-explored 183871 4609
build-model-states-explored 188518 4647
build-model-states-explored 191429 2911
build-model-states-explored 195501 4072
build-model-states-explored 200095 4594
build-model-states-explored 204696 4601
build-model-states-explored 209262 4565
build-model-states-explored 213832 4571
build-model-states-explored 218430 4598
build-model-states-explored 223026 4596
build-model-states-explored 227614 4588
build-model-states-explored 232186 4572
build-model-states-explored 236793 4607
build-model-states-explored 241397 4604
build-model-states-explored 245993 4596
build-model-states-explored 250609 4616
build-model-states-explored 255245 4636
build-model-states-explored 259820 4575
build-model-states-explored 264389 4569
build-model-states-explored 268979 4590
build-model-states-explored 273557 4578
build-model-states-explored 278098 4541
build-model-states-explored 282653 4555
build-model-states-explored 287232 4579
build-model-states-explored 291818 4586
build-model-states-explored 296388 4570
build-model-states-explored 300957 4569
build-model-states-explored 305547 4590
build-model-states-explored 310130 4583
build-model-states-explored 314741 4611
build-model-states-explored 319338 4597
build-model-states-explored 323944 4606
build-model-states-explored 328520 4576
build-model-states-explored 333134 4614
build-model-states-explored 337525 4391
build-model-states-explored 342135 4610
build-model-states-explored 346758 4623
build-model-states-explored 351377 4619
build-model-states-explored 355949 4572
build-model-states-explored 360537 4588
build-model-states-explored 365092 4555
build-model-states-explored 369671 4579
build-model-states-explored 374245 4574
build-model-states-explored 378613 4368
build-model-states-explored 380434 1821
build-model-states-explored 383759 3325
build-model-states-explored 388358 4599
build-model-states-explored 392968 4610
build-model-states-explored 397594 4625
build-model-states-explored 402225 4632
build-model-states-explored 406809 4584
build-model-states-explored 411391 4582
build-model-states-explored 416002 4611
build-model-states-explored 420621 4619
build-model-states-explored 425258 4637
build-model-states-explored 429853 4595
build-model-states-explored 434489 4636
build-model-states-explored 439125 4636
build-model-states-explored 443776 4651
build-model-states-explored 448392 4616
build-model-states-explored 452961 4569
build-model-states-explored 457512 4551
build-model-states-explored 462104 4592
build-model-states-explored 466673 4569
build-model-states-explored 471216 4543
build-model-states-explored 475817 4601
build-model-states-explored 480442 4625
build-model-states-explored 484994 4552
build-model-states-explored 489558 4564
build-model-states-explored 494096 4538
build-model-states-explored 498656 4560
build-model-states-explored 503218 4562
build-model-states-explored 507781 4563
build-model-states-explored 512352 4571
build-model-states-explored 516948 4595
build-model-states-explored 521546 4599
build-model-states-explored 526028 4482
build-model-states-explored 530620 4592
build-model-states-explored 535105 4485
build-model-states-explored 539687 4582
build-model-states-explored 544214 4527
build-model-states-explored 548774 4560
build-model-states-explored 553335 4561
build-model-states-explored 557925 4590
build-model-states-explored 562531 4606
build-model-states-explored 567122 4591
build-model-states-explored 571742 4620
build-model-states-explored 576306 4564
build-model-states-explored 580898 4592
build-model-states-explored 585506 4608
build-model-states-explored 590114 4608
build-model-states-explored 594724 4610
build-model-states-explored 599316 4592
build-model-states-explored 603883 4567
build-model-states-explored 608316 4433
build-model-states-explored 612703 4387
build-model-states-explored 617256 4553
build-model-states-explored 621836 4580
build-model-states-explored 626404 4568
build-model-states-explored 630981 4577
build-model-states-explored 635570 4589
build-model-states-explored 640161 4591
build-model-states-explored 644700 4539
build-model-states-explored 649249 4549
build-model-states-explored 653747 4498
build-model-states-explored 658298 4551
build-model-states-explored 662834 4536
build-model-states-explored 667386 4552
build-model-states-explored 671963 4577
build-model-states-explored 676528 4565
build-model-states-explored 681109 4581
build-model-states-explored 685682 4573
build-model-states-explored 690179 4497
build-model-states-explored 694725 4546
build-model-states-explored 699019 4294
build-model-states-explored 703518 4499
build-model-states-explored 708104 4586
build-model-states-explored 712702 4598
build-model-states-explored 717247 4545
build-model-states-explored 721785 4538
build-model-states-explored 726315 4530
build-model-states-explored 730950 4635
build-model-states-explored 735548 4598
build-model-states-explored 740125 4577
build-model-states-explored 744694 4569
build-model-states-explored 749308 4614
build-model-states-explored 753633 4325
build-model-states-explored 757792 4159
build-model-states-explored 757792 0
build-model-states-explored 759089 1296
build-model-states-explored 763663 4575
build-model-states-explored 768252 4589
build-model-states-explored 772874 4622
build-model-states-explored 777459 4585
build-model-states-explored 782070 4611
build-model-states-explored 786679 4609
build-model-states-explored 791264 4585
build-model-states-explored 795883 4619
build-model-states-explored 800492 4609
build-model-states-explored 805103 4611
build-model-states-explored 809743 4640
build-model-states-explored 814390 4647
build-model-states-explored 818914 4524
build-model-states-explored 823471 4557
build-model-states-explored 828053 4582
build-model-states-explored 832634 4581
build-model-states-explored 837210 4576
build-model-states-explored 841752 4542
build-model-states-explored 846304 4552
build-model-states-explored 850878 4574
build-model-states-explored 855457 4579
build-model-states-explored 860044 4587
build-model-states-explored 864604 4560
build-model-states-explored 869198 4594
build-model-states-explored 873754 4556
build-model-states-explored 878380 4626
build-model-states-explored 882974 4594
build-model-states-explored 887583 4609
build-model-states-explored 892172 4589
build-model-states-explored 896757 4585
build-model-states-explored 901368 4611
build-model-states-explored 905995 4627
build-model-states-explored 910603 4608
build-model-states-explored 915226 4623
build-model-states-explored 919869 4643
build-model-states-explored 924442 4573
build-model-states-explored 929033 4591
build-model-states-explored 933585 4552
build-model-states-explored 938167 4582
build-model-states-explored 942755 4588
build-model-states-explored 947380 4625
build-model-states-explored 951986 4606
build-model-states-explored 956589 4603
build-model-states-explored 961219 4630
build-model-states-explored 965858 4639
build-model-states-explored 970453 4595
build-model-states-explored 975040 4587
build-model-states-explored 979664 4624
build-model-states-explored 984296 4632
build-model-states-explored 988920 4624
build-model-states-explored 993570 4650
build-model-states-explored 998240 4670
build-model-states-explored 1002855 4615
build-model-states-explored 1007469 4614
build-model-states-explored 1011621 4152
build-model-states-explored 1016068 4447
build-model-states-explored 1020666 4598
build-model-states-explored 1025250 4584
build-model-states-explored 1029811 4561
build-model-states-explored 1034383 4572
build-model-states-explored 1038975 4592
build-model-states-explored 1043607 4632
build-model-states-explored 1048204 4597
build-model-states-explored 1052768 4564
build-model-states-explored 1057343 4575
build-model-states-explored 1061927 4584
build-model-states-explored 1066559 4632
build-model-states-explored 1071162 4603
build-model-states-explored 1075645 4483
build-model-states-explored 1080269 4624
build-model-states-explored 1084875 4606
build-model-states-explored 1089513 4638
build-model-states-explored 1094170 4657
build-model-states-explored 1098746 4576
build-model-states-explored 1103298 4552
build-model-states-explored 1107867 4569
build-model-states-explored 1112450 4583
build-model-states-explored 1117041 4591
build-model-states-explored 1121586 4545
build-model-states-explored 1126129 4543
build-model-states-explored 1130680 4551
build-model-states-explored 1135266 4586
build-model-states-explored 1139837 4571
build-model-states-explored 1144408 4571
build-model-states-explored 1148991 4583
build-model-states-explored 1153544 4553
build-model-states-explored 1158119 4575
build-model-states-explored 1162707 4588
build-model-states-explored 1167293 4586
build-model-states-explored 1171892 4599
build-model-states-explored 1176501 4609
build-model-states-explored 1181141 4640
build-model-states-explored 1185752 4611
build-model-states-explored 1190332 4580
build-model-states-explored 1194929 4597
build-model-states-explored 1199500 4571
build-model-states-explored 1204101 4601
build-model-states-explored 1208718 4617
build-model-states-explored 1213327 4609
build-model-states-explored 1217753 4426
build-model-states-explored 1222210 4457
build-model-states-explored 1226841 4631
build-model-states-explored 1231488 4647
build-model-states-explored 1236100 4612
build-model-states-explored 1240597 4497
build-model-states-explored 1245200 4603
build-model-states-explored 1249750 4550
build-model-states-explored 1254321 4571
build-model-states-explored 1258912 4591
build-model-states-explored 1263507 4595
build-model-states-explored 1268091 4584
build-model-states-explored 1272695 4604
build-model-states-explored 1277321 4626
build-model-states-explored 1281931 4610
build-model-states-explored 1286514 4583
build-model-states-explored 1291128 4614
build-model-states-explored 1295751 4623
build-model-states-explored 1300378 4627
build-model-states-explored 1305037 4659
build-model-states-explored 1309623 4586
build-model-states-explored 1314204 4581
build-model-states-explored 1318794 4590
build-model-states-explored 1323401 4607
build-model-states-explored 1328045 4644
build-model-states-explored 1332650 4605
build-model-states-explored 1337287 4637
build-model-states-explored 1341935 4648
build-model-states-explored 1346541 4606
build-model-states-explored 1351179 4638
build-model-states-explored 1355786 4607
build-model-states-explored 1360428 4642
build-model-states-explored 1365099 4671
build-model-states-explored 1369694 4595
build-model-states-explored 1374242 4548
build-model-states-explored 1378820 4578
build-model-states-explored 1383396 4576
build-model-states-explored 1388008 4612
build-model-states-explored 1392565 4557
build-model-states-explored 1397107 4542
build-model-states-explored 1401673 4566
build-model-states-explored 1406253 4580
build-model-states-explored 1410854 4601
build-model-states-explored 1415430 4576
build-model-states-explored 1420036 4606
build-model-states-explored 1424595 4559
build-model-states-explored 1429177 4582
build-model-states-explored 1433776 4599
build-model-states-explored 1437908 4132
build-model-states-explored 1442514 4606
build-model-states-explored 1447131 4617
build-model-states-explored 1451759 4628
build-model-states-explored 1456310 4551
build-model-states-explored 1460861 4551
build-model-states-explored 1465420 4559
build-model-states-explored 1470008 4588
build-model-states-explored 1474555 4547
build-model-states-explored 1479074 4519
build-model-states-explored 1483619 4545
build-model-states-explored 1488186 4567
build-model-states-explored 1492757 4571
build-model-states-explored 1497312 4555
build-model-states-explored 1501017 3705
build-model-states-explored 1505345 4328
build-model-states-explored 1509921 4576
build-model-states-explored 1511568 1647
build-model-states-explored 1511568 0
build-model-states-explored 1511568 0
build-model-states-explored 1513901 2333
build-model-states-explored 1518474 4573
build-model-states-explored 1523063 4589
build-model-states-explored 1527641 4578
build-model-states-explored 1532214 4573
build-model-states-explored 1536810 4596
build-model-states-explored 1541423 4613
build-model-states-explored 1545949 4526
build-model-states-explored 1550558 4609
build-model-states-explored 1555185 4627
build-model-states-explored 1559740 4555
build-model-states-explored 1564319 4579
build-model-states-explored 1568853 4534
build-model-states-explored 1573416 4563
build-model-states-explored 1577990 4574
build-model-states-explored 1582594 4604
build-model-states-explored 1587183 4589
build-model-states-explored 1591770 4587
build-model-states-explored 1596388 4618
build-model-states-explored 1601008 4620
build-model-states-explored 1605587 4579
build-model-states-explored 1610038 4451
build-model-states-explored 1614639 4601
build-model-states-explored 1619256 4617
build-model-states-explored 1623860 4604
build-model-states-explored 1628488 4628
build-model-states-explored 1633154 4666
build-model-states-explored 1637798 4644
build-model-states-explored 1642382 4584
build-model-states-explored 1646987 4605
build-model-states-explored 1651550 4563
build-model-states-explored 1656134 4584
build-model-states-explored 1660716 4582
build-model-states-explored 1665311 4595
build-model-states-explored 1669907 4596
build-model-states-explored 1674539 4632
build-model-states-explored 1679159 4620
build-model-states-explored 1683746 4587
build-model-states-explored 1688399 4653
build-model-states-explored 1692967 4568
build-model-states-explored 1697556 4589
build-model-states-explored 1702147 4591
build-model-states-explored 1706712 4565
build-model-states-explored 1711317 4605
build-model-states-explored 1715921 4604
build-model-states-explored 1720513 4592
build-model-states-explored 1725126 4613
build-model-states-explored 1729765 4639
build-model-states-explored 1734400 4635
build-model-states-explored 1739010 4610
build-model-states-explored 1743604 4594
build-model-states-explored 1748228 4624
build-model-states-explored 1752858 4630
build-model-states-explored 1757500 4642
build-model-states-explored 1762120 4620
build-model-states-explored 1766725 4605
build-model-states-explored 1771326 4601
build-model-states-explored 1775889 4563
build-model-states-explored 1780538 4649
build-model-states-explored 1785162 4624
build-model-states-explored 1789793 4631
build-model-states-explored 1794452 4659
build-model-states-explored 1799063 4611
build-model-states-explored 1803711 4648
build-model-states-explored 1808355 4644
build-model-states-explored 1813010 4655
build-model-states-explored 1817689 4679
build-model-states-explored 1822226 4537
build-model-states-explored 1826798 4572
build-model-states-explored 1831394 4596
build-model-states-explored 1835956 4562
build-model-states-explored 1840527 4571
build-model-states-explored 1845123 4596
build-model-states-explored 1849724 4601
build-model-states-explored 1854320 4596
build-model-states-explored 1858857 4537
build-model-states-explored 1863466 4609
build-model-states-explored 1868020 4554
build-model-states-explored 1872597 4577
build-model-states-explored 1877129 4532
build-model-states-explored 1881698 4569
build-model-states-explored 1886267 4569
build-model-states-explored 1890867 4600
build-model-states-explored 1895458 4591
build-model-states-explored 1900033 4575
build-model-states-explored 1904640 4607
build-model-states-explored 1909264 4624
build-model-states-explored 1913717 4453
build-model-states-explored 1918281 4564
build-model-states-explored 1922879 4598
build-model-states-explored 1927490 4611
build-model-states-explored 1932087 4597
build-model-states-explored 1936704 4617
build-model-states-explored 1941363 4659
build-model-states-explored 1945967 4604
build-model-states-explored 1950558 4591
build-model-states-explored 1955169 4611
build-model-states-explored 1959648 4479
build-model-states-explored 1964206 4558
build-model-states-explored 1968858 4652
build-model-states-explored 1973451 4593
build-model-states-explored 1978037 4586
build-model-states-explored 1982625 4588
build-model-states-explored 1987235 4610
build-model-states-explored 1991883 4648
build-model-states-explored 1996486 4603
build-model-states-explored 2001114 4628
build-model-states-explored 2005764 4650
build-model-states-explored 2010370 4606
build-model-states-explored 2015007 4637
build-model-states-explored 2019650 4643
build-model-states-explored 2024297 4647
build-model-states-explored 2028969 4672
build-model-states-explored 2033555 4586
build-model-states-explored 2038141 4586
build-model-states-explored 2042736 4595
build-model-states-explored 2047342 4606
build-model-states-explored 2051930 4588
build-model-states-explored 2056500 4570
build-model-states-explored 2061089 4589
build-model-states-explored 2065688 4599
build-model-states-explored 2070293 4605
build-model-states-explored 2074896 4603
build-model-states-explored 2079538 4642
build-model-states-explored 2084162 4624
build-model-states-explored 2088779 4617
build-model-states-explored 2093412 4633
build-model-states-explored 2097860 4448
build-model-states-explored 2102468 4608
build-model-states-explored 2107100 4632
build-model-states-explored 2111748 4648
build-model-states-explored 2116403 4655
build-model-states-explored 2121038 4635
build-model-states-explored 2125638 4600
build-model-states-explored 2130233 4595
build-model-states-explored 2134843 4610
build-model-states-explored 2139491 4648
build-model-states-explored 2144120 4629
build-model-states-explored 2148763 4643
build-model-states-explored 2153430 4667
build-model-states-explored 2158047 4617
build-model-states-explored 2162671 4624
build-model-states-explored 2167336 4665
build-model-states-explored 2172021 4685
build-model-states-explored 2176681 4660
build-model-states-explored 2181309 4628
build-model-states-explored 2185948 4639
build-model-states-explored 2190569 4621
build-model-states-explored 2195176 4607
build-model-states-explored 2199734 4558
build-model-states-explored 2204280 4546
build-model-states-explored 2208833 4553
build-model-states-explored 2213415 4582
build-model-states-explored 2217968 4553
build-model-states-explored 2222560 4592
build-model-states-explored 2227136 4576
build-model-states-explored 2231741 4605
build-model-states-explored 2236300 4559
build-model-states-explored 2240861 4561
build-model-states-explored 2245415 4554
build-model-states-explored 2249967 4552
build-model-states-explored 2254508 4541
build-model-states-explored 2259091 4583
build-model-states-explored 2263660 4569
build-model-states-explored 2268219 4559
build-model-states-explored 2272801 4582
build-model-states-explored 2277373 4572
build-model-states-explored 2281963 4590
build-model-states-explored 2286582 4619
build-model-states-explored 2291218 4636
build-model-states-explored 2295826 4608
build-model-states-explored 2300380 4554
build-model-states-explored 2304974 4594
build-model-states-explored 2309539 4565
build-model-states-explored 2314145 4606
build-model-states-explored 2318777 4632
build-model-states-explored 2323343 4566
build-model-states-explored 2327897 4554
build-model-states-explored 2332477 4580
build-model-states-explored 2337056 4579
build-model-states-explored 2341643 4587
build-model-states-explored 2346252 4609
build-model-states-explored 2350830 4578
build-model-states-explored 2355404 4574
build-model-states-explored 2359998 4594
build-model-states-explored 2364622 4624
build-model-states-explored 2369211 4589
build-model-states-explored 2373710 4499
build-model-states-explored 2378315 4605
build-model-states-explored 2382962 4647
build-model-states-explored 2387559 4597
build-model-states-explored 2392180 4621
build-model-states-explored 2396805 4625
build-model-states-explored 2401444 4639
build-model-states-explored 2406084 4640
build-model-states-explored 2410734 4650
build-model-states-explored 2415317 4583
build-model-states-explored 2419843 4526
build-model-states-explored 2424411 4568
build-model-states-explored 2428940 4529
build-model-states-explored 2433487 4547
build-model-states-explored 2438072 4585
build-model-states-explored 2442633 4561
build-model-states-explored 2447177 4544
build-model-states-explored 2451768 4591
build-model-states-explored 2456338 4570
build-model-states-explored 2460938 4600
build-model-states-explored 2465529 4591
build-model-states-explored 2470063 4534
build-model-states-explored 2474612 4549
build-model-states-explored 2479154 4542
build-model-states-explored 2483670 4516
build-model-states-explored 2488227 4557
build-model-states-explored 2492784 4557
build-model-states-explored 2497324 4540
build-model-states-explored 2501885 4561
build-model-states-explored 2506474 4589
build-model-states-explored 2510916 4442
build-model-states-explored 2515314 4398
build-model-states-explored 2519857 4543
build-model-states-explored 2524442 4585
build-model-states-explored 2529012 4570
build-model-states-explored 2533611 4599
build-model-states-explored 2538191 4580
build-model-states-explored 2542751 4560
build-model-states-explored 2547285 4534
build-model-states-explored 2551843 4558
build-model-states-explored 2556425 4582
build-model-states-explored 2561004 4579
build-model-states-explored 2565577 4573
build-model-states-explored 2570172 4595
build-model-states-explored 2574746 4574
build-model-states-explored 2579311 4565
build-model-states-explored 2583901 4590
build-model-states-explored 2588504 4603
build-model-states-explored 2593114 4610
build-model-states-explored 2597747 4633
build-model-states-explored 2602385 4638
build-model-states-explored 2606994 4609
build-model-states-explored 2611541 4547
build-model-states-explored 2616133 4592
build-model-states-explored 2620699 4566
build-model-states-explored 2625296 4597
build-model-states-explored 2629931 4635
build-model-states-explored 2634502 4571
build-model-states-explored 2639056 4554
build-model-states-explored 2643620 4564
build-model-states-explored 2648052 4432
build-model-states-explored 2652438 4386
build-model-states-explored 2656837 4399
build-model-states-explored 2661327 4490
build-model-states-explored 2665915 4588
build-model-states-explored 2670503 4588
build-model-states-explored 2675115 4612
build-model-states-explored 2679724 4609
build-model-states-explored 2684301 4577
build-model-states-explored 2688905 4604
build-model-states-explored 2693553 4648
build-model-states-explored 2698156 4603
build-model-states-explored 2702774 4618
build-model-states-explored 2707380 4606
build-model-states-explored 2711952 4572
build-model-states-explored 2716594 4642
build-model-states-explored 2721249 4655
build-model-states-explored 2725829 4580
build-model-states-explored 2730392 4563
build-model-states-explored 2734945 4553
build-model-states-explored 2739535 4590
build-model-states-explored 2744120 4585
build-model-states-explored 2748715 4595
build-model-states-explored 2753283 4568
build-model-states-explored 2757840 4557
build-model-states-explored 2762389 4549
build-model-states-explored 2766943 4554
build-model-states-explored 2771542 4599
build-model-states-explored 2776118 4576
build-model-states-explored 2780699 4581
build-model-states-explored 2785241 4542
build-model-states-explored 2789803 4562
build-model-states-explored 2794391 4588
build-model-states-explored 2798986 4595
build-model-states-explored 2803576 4590
build-model-states-explored 2808192 4616
build-model-states-explored 2812840 4648
build-model-states-explored 2817455 4615
build-model-states-explored 2822030 4575
build-model-states-explored 2826633 4603
build-model-states-explored 2831256 4623
build-model-states-explored 2835812 4556
build-model-states-explored 2840402 4590
build-model-states-explored 2845026 4624
build-model-states-explored 2849633 4607
build-model-states-explored 2854259 4626
build-model-states-explored 2858860 4601
build-model-states-explored 2863500 4640
build-model-states-explored 2868121 4621
build-model-states-explored 2872783 4662
build-model-states-explored 2877384 4601
build-model-states-explored 2881951 4567
build-model-states-explored 2886548 4597
build-model-states-explored 2891134 4586
build-model-states-explored 2895697 4563
build-model-states-explored 2900289 4592
build-model-states-explored 2904723 4434
build-model-states-explored 2909312 4589
build-model-states-explored 2913944 4632
build-model-states-explored 2918570 4626
build-model-states-explored 2923045 4475
build-model-states-explored 2927649 4604
build-model-states-explored 2932286 4637
build-model-states-explored 2936915 4629
build-model-states-explored 2941555 4640
build-model-states-explored 2946185 4630
build-model-states-explored 2950789 4604
build-model-states-explored 2955383 4594
build-model-states-explored 2960020 4637
build-model-states-explored 2964644 4624
build-model-states-explored 2969274 4630
build-model-states-explored 2973920 4646
build-model-states-explored 2978557 4637
build-model-states-explored 2982185 3628
build-model-states-explored 2986858 4673
build-model-states-explored 2991055 4197
build-model-states-explored 2993857 2802
build-model-states-explored 2998400 4543
build-model-states-explored 3002966 4566
build-model-states-explored 3007502 4536
build-model-states-explored 3012061 4559
build-model-states-explored 3014042 1981
build-model-states-explored 3014042 0
build-model-states-explored 3014042 0
build-model-states-explored 3014042 0
build-model-states-explored 3014042 0
build-model-states-explored 3014042 0
build-model-states-explored 3014042 0
build-model-states-explored 3016752 2710
build-model-states-explored 3021325 4573
build-model-states-explored 3025890 4565
build-model-states-explored 3030483 4593
build-model-states-explored 3035080 4597
build-model-states-explored 3039683 4603
build-model-states-explored 3044268 4585
build-model-states-explored 3048814 4546
build-model-states-explored 3053382 4568
build-model-states-explored 3057917 4535
build-model-states-explored 3062464 4547
build-model-states-explored 3067032 4568
build-model-states-explored 3071603 4571
build-model-states-explored 3076171 4568
build-model-states-explored 3080746 4575
build-model-states-explored 3085362 4616
build-model-states-explored 3089943 4581
build-model-states-explored 3094513 4570
build-model-states-explored 3099085 4572
build-model-states-explored 3103679 4594
build-model-states-explored 3108276 4597
build-model-states-explored 3112888 4612
build-model-states-explored 3117461 4573
build-model-states-explored 3122030 4569
build-model-states-explored 3126598 4568
build-model-states-explored 3131180 4582
build-model-states-explored 3135794 4614
build-model-states-explored 3140369 4575
build-model-states-explored 3144969 4600
build-model-states-explored 3149592 4623
build-model-states-explored 3154165 4573
build-model-states-explored 3158790 4625
build-model-states-explored 3163313 4523
build-model-states-explored 3167932 4619
build-model-states-explored 3172568 4636
build-model-states-explored 3177147 4579
build-model-states-explored 3181685 4538
build-model-states-explored 3186251 4566
build-model-states-explored 3190774 4523
build-model-states-explored 3195314 4540
build-model-states-explored 3199874 4560
build-model-states-explored 3204444 4570
build-model-states-explored 3209008 4564
build-model-states-explored 3213582 4574
build-model-states-explored 3218161 4579
build-model-states-explored 3222686 4525
build-model-states-explored 3227199 4513
build-model-states-explored 3231701 4502
build-model-states-explored 3236235 4534
build-model-states-explored 3240772 4537
build-model-states-explored 3245333 4561
build-model-states-explored 3249889 4556
build-model-states-explored 3254440 4551
build-model-states-explored 3259016 4576
build-model-states-explored 3263601 4585
build-model-states-explored 3268133 4532
build-model-states-explored 3272666 4533
build-model-states-explored 3277225 4559
build-model-states-explored 3281799 4574
build-model-states-explored 3286341 4542
build-model-states-explored 3290924 4583
build-model-states-explored 3295505 4581
build-model-states-explored 3300057 4552
build-model-states-explored 3304611 4554
build-model-states-explored 3309194 4583
build-model-states-explored 3313660 4466
build-model-states-explored 3318212 4552
build-model-states-explored 3322783 4571
build-model-states-explored 3327275 4492
build-model-states-explored 3331831 4556
build-model-states-explored 3336391 4560
build-model-states-explored 3340968 4577
build-model-states-explored 3345583 4615
build-model-states-explored 3350146 4563
build-model-states-explored 3354743 4597
build-model-states-explored 3359357 4614
build-model-states-explored 3363931 4574
build-model-states-explored 3368538 4607
build-model-states-explored 3373132 4594
build-model-states-explored 3377746 4614
build-model-states-explored 3382377 4631
build-model-states-explored 3386935 4558
build-model-states-explored 3391487 4552
build-model-states-explored 3396042 4555
build-model-states-explored 3400614 4572
build-model-states-explored 3405177 4563
build-model-states-explored 3409708 4531
build-model-states-explored 3414260 4552
build-model-states-explored 3418817 4557
build-model-states-explored 3423394 4577
build-model-states-explored 3427955 4561
build-model-states-explored 3432551 4596
build-model-states-explored 3437130 4579
build-model-states-explored 3441715 4585
build-model-states-explored 3446307 4592
build-model-states-explored 3450894 4587
build-model-states-explored 3455471 4577
build-model-states-explored 3460055 4584
build-model-states-explored 3464664 4609
build-model-states-explored 3469280 4616
build-model-states-explored 3473875 4595
build-model-states-explored 3478443 4568
build-model-states-explored 3483002 4559
build-model-states-explored 3487578 4576
build-model-states-explored 3492173 4595
build-model-states-explored 3496773 4600
build-model-states-explored 3501373 4600
build-model-states-explored 3505998 4625
build-model-states-explored 3510579 4581
build-model-states-explored 3515191 4612
build-model-states-explored 3519688 4497
build-model-states-explored 3524350 4662
build-model-states-explored 3529001 4651
build-model-states-explored 3533632 4631
build-model-states-explored 3538221 4589
build-model-states-explored 3542775 4554
build-model-states-explored 3547370 4595
build-model-states-explored 3551949 4579
build-model-states-explored 3556555 4606
build-model-states-explored 3561183 4628
build-model-states-explored 3565740 4557
build-model-states-explored 3570298 4558
build-model-states-explored 3574891 4593
build-model-states-explored 3579458 4567
build-model-states-explored 3584055 4597
build-model-states-explored 3588680 4625
build-model-states-explored 3593318 4638
build-model-states-explored 3597885 4567
build-model-states-explored 3602490 4605
build-model-states-explored 3607127 4637
build-model-states-explored 3611710 4583
build-model-states-explored 3616302 4592
build-model-states-explored 3620924 4622
build-model-states-explored 3625559 4635
build-model-states-explored 3630173 4614
build-model-states-explored 3634784 4611
build-model-states-explored 3639428 4644
build-model-states-explored 3644060 4632
build-model-states-explored 3648712 4652
build-model-states-explored 3653364 4652
build-model-states-explored 3657922 4558
build-model-states-explored 3662484 4562
build-model-states-explored 3667071 4587
build-model-states-explored 3671642 4571
build-model-states-explored 3676239 4597
build-model-states-explored 3680857 4618
build-model-states-explored 3685403 4546
build-model-states-explored 3689964 4561
build-model-states-explored 3694534 4570
build-model-states-explored 3699121 4587
build-model-states-explored 3703721 4600
build-model-states-explored 3708298 4577
build-model-states-explored 3712878 4580
build-model-states-explored 3717479 4601
build-model-states-explored 3722063 4584
build-model-states-explored 3726673 4610
build-model-states-explored 3731291 4618
build-model-states-explored 3735898 4607
build-model-states-explored 3740532 4634
build-model-states-explored 3745189 4657
build-model-states-explored 3749767 4578
build-model-states-explored 3754368 4601
build-model-states-explored 3758984 4616
build-model-states-explored 3763585 4601
build-model-states-explored 3768178 4593
build-model-states-explored 3772776 4598
build-model-states-explored 3777311 4535
build-model-states-explored 3781909 4598
build-model-states-explored 3786532 4623
build-model-states-explored 3791152 4620
build-model-states-explored 3795790 4638
build-model-states-explored 3800443 4653
build-model-states-explored 3805100 4657
build-model-states-explored 3809674 4574
build-model-states-explored 3814260 4586
build-model-states-explored 3818871 4611
build-model-states-explored 3823440 4569
build-model-states-explored 3828043 4603
build-model-states-explored 3832638 4595
build-model-states-explored 3837248 4610
build-model-states-explored 3841874 4626
build-model-states-explored 3846532 4658
build-model-states-explored 3851134 4602
build-model-states-explored 3855758 4624
build-model-states-explored 3860368 4610
build-model-states-explored 3865013 4645
build-model-states-explored 3869657 4644
build-model-states-explored 3874323 4666
build-model-states-explored 3878923 4600
build-model-states-explored 3883532 4609
build-model-states-explored 3888163 4631
build-model-states-explored 3892807 4644
build-model-states-explored 3897442 4635
build-model-states-explored 3902114 4672
build-model-states-explored 3906742 4628
build-model-states-explored 3911407 4665
build-model-states-explored 3916086 4679
build-model-states-explored 3920691 4605
build-model-states-explored 3925240 4549
build-model-states-explored 3929784 4544
build-model-states-explored 3934370 4586
build-model-states-explored 3938943 4573
build-model-states-explored 3943537 4594
build-model-states-explored 3948125 4588
build-model-states-explored 3952678 4553
build-model-states-explored 3957220 4542
build-model-states-explored 3961783 4563
build-model-states-explored 3966368 4585
build-model-states-explored 3970950 4582
build-model-states-explored 3975531 4581
build-model-states-explored 3980118 4587
build-model-states-explored 3984702 4584
build-model-states-explored 3989276 4574
build-model-states-explored 3993868 4592
build-model-states-explored 3998470 4602
build-model-states-explored 4003080 4610
build-model-states-explored 4007679 4599
build-model-states-explored 4012224 4545
build-model-states-explored 4016761 4537
build-model-states-explored 4021328 4567
build-model-states-explored 4025905 4577
build-model-states-explored 4030438 4533
build-model-states-explored 4034921 4483
build-model-states-explored 4039473 4552
build-model-states-explored 4044039 4566
build-model-states-explored 4048594 4555
build-model-states-explored 4053168 4574
build-model-states-explored 4057772 4604
build-model-states-explored 4062326 4554
build-model-states-explored 4066910 4584
build-model-states-explored 4071508 4598
build-model-states-explored 4076067 4559
build-model-states-explored 4080661 4594
build-model-states-explored 4085244 4583
build-model-states-explored 4089842 4598
build-model-states-explored 4094456 4614
build-model-states-explored 4099017 4561
build-model-states-explored 4103590 4573
build-model-states-explored 4108131 4541
build-model-states-explored 4112705 4574
build-model-states-explored 4117161 4456
build-model-states-explored 4121757 4596
build-model-states-explored 4126355 4598
build-model-states-explored 4130954 4599
build-model-states-explored 4135545 4591
build-model-states-explored 4140156 4611
build-model-states-explored 4144780 4624
build-model-states-explored 4149428 4648
build-model-states-explored 4154052 4624
build-model-states-explored 4158606 4554
build-model-states-explored 4163194 4588
build-model-states-explored 4167816 4622
build-model-states-explored 4172385 4569
build-model-states-explored 4176961 4576
build-model-states-explored 4181564 4603
build-model-states-explored 4186184 4620
build-model-states-explored 4190783 4599
build-model-states-explored 4195250 4467
build-model-states-explored 4199876 4626
build-model-states-explored 4204497 4621
build-model-states-explored 4209126 4629
build-model-states-explored 4213758 4632
build-model-states-explored 4218308 4550
build-model-states-explored 4222884 4576
build-model-states-explored 4227480 4596
build-model-states-explored 4232039 4559
build-model-states-explored 4236628 4589
build-model-states-explored 4241211 4583
build-model-states-explored 4245812 4601
build-model-states-explored 4250425 4613
build-model-states-explored 4255062 4637
build-model-states-explored 4259641 4579
build-model-states-explored 4264227 4586
build-model-states-explored 4268837 4610
build-model-states-explored 4273458 4621
build-model-states-explored 4278082 4624
build-model-states-explored 4282721 4639
build-model-states-explored 4287309 4588
build-model-states-explored 4291908 4599
build-model-states-explored 4296521 4613
build-model-states-explored 4301145 4624
build-model-states-explored 4305772 4627
build-model-states-explored 4310414 4642
build-model-states-explored 4315031 4617
build-model-states-explored 4319685 4654
build-model-states-explored 4324333 4648
build-model-states-explored 4328815 4482
build-model-states-explored 4333383 4568
build-model-states-explored 4337968 4585
build-model-states-explored 4342537 4569
build-model-states-explored 4347105 4568
build-model-states-explored 4351689 4584
build-model-states-explored 4356283 4594
build-model-states-explored 4360886 4603
build-model-states-explored 4365464 4578
build-model-states-explored 4370017 4553
build-model-states-explored 4374565 4548
build-model-states-explored 4379129 4564
build-model-states-explored 4383708 4579
build-model-states-explored 4388295 4587
build-model-states-explored 4392880 4585
build-model-states-explored 4397486 4606
build-model-states-explored 4402037 4551
build-model-states-explored 4406634 4597
build-model-states-explored 4411244 4610
build-model-states-explored 4415888 4644
build-model-states-explored 4420485 4597
build-model-states-explored 4425077 4592
build-model-states-explored 4429661 4584
build-model-states-explored 4434282 4621
build-model-states-explored 4438879 4597
build-model-states-explored 4443509 4630
build-model-states-explored 4448119 4610
build-model-states-explored 4452708 4589
build-model-states-explored 4457294 4586
build-model-states-explored 4461922 4628
build-model-states-explored 4466533 4611
build-model-states-explored 4471151 4618
build-model-states-explored 4475775 4624
build-model-states-explored 4480405 4630
build-model-states-explored 4485043 4638
build-model-states-explored 4489668 4625
build-model-states-explored 4494245 4577
build-model-states-explored 4498826 4581
build-model-states-explored 4503429 4603
build-model-states-explored 4507987 4558
build-model-states-explored 4512579 4592
build-model-states-explored 4517185 4606
build-model-states-explored 4521569 4384
build-model-states-explored 4526177 4608
build-model-states-explored 4530791 4614
build-model-states-explored 4535415 4624
build-model-states-explored 4540039 4624
build-model-states-explored 4544678 4639
build-model-states-explored 4549305 4627
build-model-states-explored 4553903 4598
build-model-states-explored 4558541 4638
build-model-states-explored 4563175 4634
build-model-states-explored 4567813 4638
build-model-states-explored 4572467 4654
build-model-states-explored 4577111 4644
build-model-states-explored 4581771 4660
build-model-states-explored 4586396 4625
build-model-states-explored 4591014 4618
build-model-states-explored 4595630 4616
build-model-states-explored 4600257 4627
build-model-states-explored 4604876 4619
build-model-states-explored 4609481 4605
build-model-states-explored 4614099 4618
build-model-states-explored 4618705 4606
build-model-states-explored 4623304 4599
build-model-states-explored 4627775 4471
build-model-states-explored 4632281 4506
build-model-states-explored 4636825 4544
build-model-states-explored 4641383 4558
build-model-states-explored 4645891 4508
build-model-states-explored 4650417 4526
build-model-states-explored 4654944 4527
build-model-states-explored 4659486 4542
build-model-states-explored 4664049 4563
build-model-states-explored 4668660 4611
build-model-states-explored 4673249 4589
build-model-states-explored 4677734 4485
build-model-states-explored 4682303 4569
build-model-states-explored 4686833 4530
build-model-states-explored 4691381 4548
build-model-states-explored 4695947 4566
build-model-states-explored 4700563 4616
build-model-states-explored 4705092 4529
build-model-states-explored 4709655 4563
build-model-states-explored 4714212 4557
build-model-states-explored 4718808 4596
build-model-states-explored 4723380 4572
build-model-states-explored 4727986 4606
build-model-states-explored 4732595 4609
build-model-states-explored 4737217 4622
build-model-states-explored 4741804 4587
build-model-states-explored 4746333 4529
build-model-states-explored 4750845 4512
build-model-states-explored 4755392 4547
build-model-states-explored 4759940 4548
build-model-states-explored 4764482 4542
build-model-states-explored 4769064 4582
build-model-states-explored 4773579 4515
build-model-states-explored 4778093 4514
build-model-states-explored 4782641 4548
build-model-states-explored 4787164 4523
build-model-states-explored 4791720 4556
build-model-states-explored 4796314 4594
build-model-states-explored 4800892 4578
build-model-states-explored 4805416 4524
build-model-states-explored 4809972 4556
build-model-states-explored 4814521 4549
build-model-states-explored 4819045 4524
build-model-states-explored 4823596 4551
build-model-states-explored 4828175 4579
build-model-states-explored 4832746 4571
build-model-states-explored 4837306 4560
build-model-states-explored 4841864 4558
build-model-states-explored 4846465 4601
build-model-states-explored 4851036 4571
build-model-states-explored 4855640 4604
build-model-states-explored 4860276 4636
build-model-states-explored 4864899 4623
build-model-states-explored 4869513 4614
build-model-states-explored 4874097 4584
build-model-states-explored 4878538 4441
build-model-states-explored 4883026 4488
build-model-states-explored 4887555 4529
build-model-states-explored 4892110 4555
build-model-states-explored 4896675 4565
build-model-states-explored 4901286 4611
build-model-states-explored 4905847 4561
build-model-states-explored 4910408 4561
build-model-states-explored 4914964 4556
build-model-states-explored 4919583 4619
build-model-states-explored 4924158 4575
build-model-states-explored 4928749 4591
build-model-states-explored 4933356 4607
build-model-states-explored 4937981 4625
build-model-states-explored 4942546 4565
build-model-states-explored 4947078 4532
build-model-states-explored 4951625 4547
build-model-states-explored 4956198 4573
build-model-states-explored 4960720 4522
build-model-states-explored 4965269 4549
build-model-states-explored 4969853 4584
build-model-states-explored 4974409 4556
build-model-states-explored 4978977 4568
build-model-states-explored 4983533 4556
build-model-states-explored 4988130 4597
build-model-states-explored 4992698 4568
build-model-states-explored 4997306 4608
build-model-states-explored 5001947 4641
build-model-states-explored 5006570 4623
build-model-states-explored 5011134 4564
build-model-states-explored 5015707 4573
build-model-states-explored 5020249 4542
build-model-states-explored 5024865 4616
build-model-states-explored 5029445 4580
build-model-states-explored 5034041 4596
build-model-states-explored 5038648 4607
build-model-states-explored 5043288 4640
build-model-states-explored 5047842 4554
build-model-states-explored 5052426 4584
build-model-states-explored 5056985 4559
build-model-states-explored 5061582 4597
build-model-states-explored 5066163 4581
build-model-states-explored 5070778 4615
build-model-states-explored 5075422 4644
build-model-states-explored 5080010 4588
build-model-states-explored 5084588 4578
build-model-states-explored 5089195 4607
build-model-states-explored 5093830 4635
build-model-states-explored 5098414 4584
build-model-states-explored 5103013 4599
build-model-states-explored 5107648 4635
build-model-states-explored 5112261 4613
build-model-states-explored 5116897 4636
build-model-states-explored 5121517 4620
build-model-states-explored 5126167 4650
build-model-states-explored 5130796 4629
build-model-states-explored 5135385 4589
build-model-states-explored 5139950 4565
build-model-states-explored 5144446 4496
build-model-states-explored 5148980 4534
build-model-states-explored 5153498 4518
build-model-states-explored 5158034 4536
build-model-states-explored 5162610 4576
build-model-states-explored 5167138 4528
build-model-states-explored 5171653 4515
build-model-states-explored 5176156 4503
build-model-states-explored 5180686 4530
build-model-states-explored 5185222 4536
build-model-states-explored 5189763 4541
build-model-states-explored 5194358 4595
build-model-states-explored 5198899 4541
build-model-states-explored 5203432 4533
build-model-states-explored 5207977 4545
build-model-states-explored 5212520 4543
build-model-states-explored 5217044 4524
build-model-states-explored 5221598 4554
build-model-states-explored 5226180 4582
build-model-states-explored 5230729 4549
build-model-states-explored 5235303 4574
build-model-states-explored 5239846 4543
build-model-states-explored 5244424 4578
build-model-states-explored 5249004 4580
build-model-states-explored 5253618 4614
build-model-states-explored 5258131 4513
build-model-states-explored 5262554 4423
build-model-states-explored 5267054 4500
build-model-states-explored 5271587 4533
build-model-states-explored 5276110 4523
build-model-states-explored 5280656 4546
build-model-states-explored 5285198 4542
build-model-states-explored 5289706 4508
build-model-states-explored 5294200 4494
build-model-states-explored 5298713 4513
build-model-states-explored 5303241 4528
build-model-states-explored 5307781 4540
build-model-states-explored 5312318 4537
build-model-states-explored 5316858 4540
build-model-states-explored 5321394 4536
build-model-states-explored 5325918 4524
build-model-states-explored 5330462 4544
build-model-states-explored 5335010 4548
build-model-states-explored 5339560 4550
build-model-states-explored 5344141 4581
build-model-states-explored 5348727 4586
build-model-states-explored 5353241 4514
build-model-states-explored 5357778 4537
build-model-states-explored 5362340 4562
build-model-states-explored 5366877 4537
build-model-states-explored 5371409 4532
build-model-states-explored 5375948 4539
build-model-states-explored 5380533 4585
build-model-states-explored 5385069 4536
build-model-states-explored 5389627 4558
build-model-states-explored 5394180 4553
build-model-states-explored 5398756 4576
build-model-states-explored 5403342 4586
build-model-states-explored 5407936 4594
build-model-states-explored 5412460 4524
build-model-states-explored 5416981 4521
build-model-states-explored 5421526 4545
build-model-states-explored 5425891 4365
build-model-states-explored 5430381 4490
build-model-states-explored 5434917 4536
build-model-states-explored 5439468 4551
build-model-states-explored 5444019 4551
build-model-states-explored 5448613 4594
build-model-states-explored 5453151 4538
build-model-states-explored 5457723 4572
build-model-states-explored 5462260 4537
build-model-states-explored 5466838 4578
build-model-states-explored 5471408 4570
build-model-states-explored 5476014 4606
build-model-states-explored 5480559 4545
build-model-states-explored 5485113 4554
build-model-states-explored 5489673 4560
build-model-states-explored 5494266 4593
build-model-states-explored 5498821 4555
build-model-states-explored 5503400 4579
build-model-states-explored 5507983 4583
build-model-states-explored 5512569 4586
build-model-states-explored 5517174 4605
build-model-states-explored 5521756 4582
build-model-states-explored 5526369 4613
build-model-states-explored 5530989 4620
build-model-states-explored 5535591 4602
build-model-states-explored 5540150 4559
build-model-states-explored 5544686 4536
build-model-states-explored 5549250 4564
build-model-states-explored 5553763 4513
build-model-states-explored 5558311 4548
build-model-states-explored 5562892 4581
build-model-states-explored 5567436 4544
build-model-states-explored 5571966 4530
build-model-states-explored 5576518 4552
build-model-states-explored 5581085 4567
build-model-states-explored 5585690 4605
build-model-states-explored 5590254 4564
build-model-states-explored 5594861 4607
build-model-states-explored 5599477 4616
build-model-states-explored 5604089 4612
build-model-states-explored 5608624 4535
build-model-states-explored 5613148 4524
build-model-states-explored 5617697 4549
build-model-states-explored 5622250 4553
build-model-states-explored 5626768 4518
build-model-states-explored 5631317 4549
build-model-states-explored 5635895 4578
build-model-states-explored 5640440 4545
build-model-states-explored 5645008 4568
build-model-states-explored 5649546 4538
build-model-states-explored 5654128 4582
build-model-states-explored 5658704 4576
build-model-states-explored 5663312 4608
build-model-states-explored 5667944 4632
build-model-states-explored 5672553 4609
build-model-states-explored 5677091 4538
build-model-states-explored 5681649 4558
build-model-states-explored 5686204 4555
build-model-states-explored 5690814 4610
build-model-states-explored 5695372 4558
build-model-states-explored 5699973 4601
build-model-states-explored 5704553 4580
build-model-states-explored 5709067 4514
build-model-states-explored 5713612 4545
build-model-states-explored 5718179 4567
build-model-states-explored 5722730 4551
build-model-states-explored 5727314 4584
build-model-states-explored 5731904 4590
build-model-states-explored 5736516 4612
build-model-states-explored 5741151 4635
build-model-states-explored 5745720 4569
build-model-states-explored 5750286 4566
build-model-states-explored 5754871 4585
build-model-states-explored 5759504 4633
build-model-states-explored 5764074 4570
build-model-states-explored 5768654 4580
build-model-states-explored 5773271 4617
build-model-states-explored 5777869 4598
build-model-states-explored 5782503 4634
build-model-states-explored 5787126 4623
build-model-states-explored 5791764 4638
build-model-states-explored 5796387 4623
build-model-states-explored 5800947 4560
build-model-states-explored 5805463 4516
build-model-states-explored 5810007 4544
build-model-states-explored 5814577 4570
build-model-states-explored 5819093 4516
build-model-states-explored 5823633 4540
build-model-states-explored 5828197 4564
build-model-states-explored 5832758 4561
build-model-states-explored 5837311 4553
build-model-states-explored 5841859 4548
build-model-states-explored 5846446 4587
build-model-states-explored 5851008 4562
build-model-states-explored 5855592 4584
build-model-states-explored 5860168 4576
build-model-states-explored 5864676 4508
build-model-states-explored 5869213 4537
build-model-states-explored 5873765 4552
build-model-states-explored 5878275 4510
build-model-states-explored 5882814 4539
build-model-states-explored 5887356 4542
build-model-states-explored 5891904 4548
build-model-states-explored 5896473 4569
build-model-states-explored 5901059 4586
build-model-states-explored 5905593 4534
build-model-states-explored 5910150 4557
build-model-states-explored 5914713 4563
build-model-states-explored 5919286 4573
build-model-states-explored 5923862 4576
build-model-states-explored 5928453 4591
build-model-states-explored 5932989 4536
build-model-states-explored 5937537 4548
build-model-states-explored 5942108 4571
build-model-states-explored 5946614 4506
build-model-states-explored 5951118 4504
build-model-states-explored 5955715 4597
build-model-states-explored 5958915 3200
build-model-states-explored 5960865 1950
build-model-states-explored 5966159 5294
build-model-states-explored 5971476 5317
build-model-states-explored 5976740 5264
build-model-states-explored 5982084 5344
build-model-states-explored 5987377 5293
build-model-states-explored 5992641 5264
build-model-states-explored 5997970 5329
build-model-states-explored 6003272 5302
build-model-states-explored 6008613 5341
build-model-states-explored 6012342 3729
build-model-states-explored 6012342 0
build-model-states-explored 6012342 0
build-model-states-explored 6012342 0
build-model-states-explored 6012342 0
build-model-states-explored 6012342 0
build-model-states-explored 6012342 0
build-model-states-explored 6012342 0
build-model-states-explored 6012342 0
build-model-states-explored 6012342 0
build-model-states-explored 6012342 0
build-model-states-explored 6012342 0
build-model-states-explored 6012342 0
build-model-states-explored 6012342 0
build-model-states-explored 6014550 2208
build-model-states-explored 6019815 5265
build-model-states-explored 6025097 5282
build-model-states-explored 6030343 5246
build-model-states-explored 6035639 5296
build-model-states-explored 6040926 5287
build-model-states-explored 6046267 5341
build-model-states-explored 6051592 5325
build-model-states-explored 6056885 5293
build-model-states-explored 6062215 5330
build-model-states-explored 6067542 5327
build-model-states-explored 6072814 5272
build-model-states-explored 6078060 5246
build-model-states-explored 6083402 5342
build-model-states-explored 6088674 5272
build-model-states-explored 6093944 5270
build-model-states-explored 6099242 5298
build-model-states-explored 6104578 5336
build-model-states-explored 6109784 5206
build-model-states-explored 6115008 5224
build-model-states-explored 6120273 5265
build-model-states-explored 6125535 5262
build-model-states-explored 6130798 5263
build-model-states-explored 6136043 5245
build-model-states-explored 6141285 5242
build-model-states-explored 6146540 5255
build-model-states-explored 6151819 5279
build-model-states-explored 6155099 3280
build-model-states-explored 6160377 5278
build-model-states-explored 6165654 5277
build-model-states-explored 6170926 5272
build-model-states-explored 6176281 5355
build-model-states-explored 6181635 5354
build-model-states-explored 6186964 5329
build-model-states-explored 6192318 5354
build-model-states-explored 6197677 5359
build-model-states-explored 6202909 5232
build-model-states-explored 6208193 5284
build-model-states-explored 6213556 5363
build-model-states-explored 6218896 5340
build-model-states-explored 6224242 5346
build-model-states-explored 6229611 5369
build-model-states-explored 6234960 5349
build-model-states-explored 6240252 5292
build-model-states-explored 6245574 5322
build-model-states-explored 6250869 5295
build-model-states-explored 6256184 5315
build-model-states-explored 6261550 5366
build-model-states-explored 6266879 5329
build-model-states-explored 6272212 5333
build-model-states-explored 6277592 5380
build-model-states-explored 6282951 5359
build-model-states-explored 6288270 5319
build-model-states-explored 6293608 5338
build-model-states-explored 6298973 5365
build-model-states-explored 6304342 5369
build-model-states-explored 6309638 5296
build-model-states-explored 6314931 5293
build-model-states-explored 6320169 5238
build-model-states-explored 6325448 5279
build-model-states-explored 6330704 5256
build-model-states-explored 6335994 5290
build-model-states-explored 6341283 5289
build-model-states-explored 6346527 5244
build-model-states-explored 6351745 5218
build-model-states-explored 6357005 5260
build-model-states-explored 6362250 5245
build-model-states-explored 6367531 5281
build-model-states-explored 6372839 5308
build-model-states-explored 6378097 5258
build-model-states-explored 6383377 5280
build-model-states-explored 6388670 5293
build-model-states-explored 6393893 5223
build-model-states-explored 6399140 5247
build-model-states-explored 6404448 5308
build-model-states-explored 6409742 5294
build-model-states-explored 6415012 5270
build-model-states-explored 6420316 5304
build-model-states-explored 6425628 5312
build-model-states-explored 6430937 5309
build-model-states-explored 6436178 5241
build-model-states-explored 6441385 5207
build-model-states-explored 6446541 5156
build-model-states-explored 6451768 5227
build-model-states-explored 6457030 5262
build-model-states-explored 6462265 5235
build-model-states-explored 6467472 5207
build-model-states-explored 6472674 5202
build-model-states-explored 6477905 5231
build-model-states-explored 6483176 5271
build-model-states-explored 6488426 5250
build-model-states-explored 6493689 5263
build-model-states-explored 6498921 5232
build-model-states-explored 6504178 5257
build-model-states-explored 6509426 5248
build-model-states-explored 6514692 5266
build-model-states-explored 6519978 5286
build-model-states-explored 6525285 5307
build-model-states-explored 6530481 5196
build-model-states-explored 6535776 5295
build-model-states-explored 6541060 5284
build-model-states-explored 6546284 5224
build-model-states-explored 6551549 5265
build-model-states-explored 6556865 5316
build-model-states-explored 6562136 5271
build-model-states-explored 6567404 5268
build-model-states-explored 6572711 5307
build-model-states-explored 6578016 5305
build-model-states-explored 6583332 5316
build-model-states-explored 6588584 5252
build-model-states-explored 6593837 5253
build-model-states-explored 6599097 5260
build-model-states-explored 6604307 5210
build-model-states-explored 6609564 5257
build-model-states-explored 6614821 5257
build-model-states-explored 6620094 5273
build-model-states-explored 6625414 5320
build-model-states-explored 6630687 5273
build-model-states-explored 6635958 5271
build-model-states-explored 6641250 5292
build-model-states-explored 6646560 5310
build-model-states-explored 6651887 5327
build-model-states-explored 6657168 5281
build-model-states-explored 6662433 5265
build-model-states-explored 6667702 5269
build-model-states-explored 6673017 5315
build-model-states-explored 6678338 5321
build-model-states-explored 6683657 5319
build-model-states-explored 6688965 5308
build-model-states-explored 6694317 5352
build-model-states-explored 6699569 5252
build-model-states-explored 6704791 5222
build-model-states-explored 6709994 5203
build-model-states-explored 6715241 5247
build-model-states-explored 6720481 5240
build-model-states-explored 6725726 5245
build-model-states-explored 6730928 5202
build-model-states-explored 6736121 5193
build-model-states-explored 6741313 5192
build-model-states-explored 6746560 5247
build-model-states-explored 6751777 5217
build-model-states-explored 6757020 5243
build-model-states-explored 6762275 5255
build-model-states-explored 6767480 5205
build-model-states-explored 6772735 5255
build-model-states-explored 6777980 5245
build-model-states-explored 6783260 5280
build-model-states-explored 6788474 5214
build-model-states-explored 6793663 5189
build-model-states-explored 6798863 5200
build-model-states-explored 6804083 5220
build-model-states-explored 6809260 5177
build-model-states-explored 6814194 4934
build-model-states-explored 6819380 5186
build-model-states-explored 6824585 5205
build-model-states-explored 6829757 5172
build-model-states-explored 6835000 5243
build-model-states-explored 6840234 5234
build-model-states-explored 6845471 5237
build-model-states-explored 6850710 5239
build-model-states-explored 6855922 5212
build-model-states-explored 6861162 5240
build-model-states-explored 6866412 5250
build-model-states-explored 6871657 5245
build-model-states-explored 6876890 5233
build-model-states-explored 6882096 5206
build-model-states-explored 6887260 5164
build-model-states-explored 6892472 5212
build-model-states-explored 6897704 5232
build-model-states-explored 6902938 5234
build-model-states-explored 6908191 5253
build-model-states-explored 6913404 5213
build-model-states-explored 6918652 5248
build-model-states-explored 6923930 5278
build-model-states-explored 6929221 5291
build-model-states-explored 6934454 5233
build-model-states-explored 6939726 5272
build-model-states-explored 6945018 5292
build-model-states-explored 6950217 5199
build-model-states-explored 6955414 5197
build-model-states-explored 6960694 5280
build-model-states-explored 6965961 5267
build-model-states-explored 6971228 5267
build-model-states-explored 6976502 5274
build-model-states-explored 6981787 5285
build-model-states-explored 6987096 5309
build-model-states-explored 6992349 5253
build-model-states-explored 6997571 5222
build-model-states-explored 7002824 5253
build-model-states-explored 7008019 5195
build-model-states-explored 7013250 5231
build-model-states-explored 7018491 5241
build-model-states-explored 7023740 5249
build-model-states-explored 7029019 5279
build-model-states-explored 7034291 5272
build-model-states-explored 7039558 5267
build-model-states-explored 7044800 5242
build-model-states-explored 7050099 5299
build-model-states-explored 7055391 5292
build-model-states-explored 7060668 5277
build-model-states-explored 7065921 5253
build-model-states-explored 7071175 5254
build-model-states-explored 7076478 5303
build-model-states-explored 7081768 5290
build-model-states-explored 7087074 5306
build-model-states-explored 7092358 5284
build-model-states-explored 7097679 5321
build-model-states-explored 7102935 5256
build-model-states-explored 7108135 5200
build-model-states-explored 7113376 5241
build-model-states-explored 7118599 5223
build-model-states-explored 7123782 5183
build-model-states-explored 7129007 5225
build-model-states-explored 7134248 5241
build-model-states-explored 7139504 5256
build-model-states-explored 7144678 5174
build-model-states-explored 7149855 5177
build-model-states-explored 7155046 5191
build-model-states-explored 7160184 5138
build-model-states-explored 7165416 5232
build-model-states-explored 7170654 5238
build-model-states-explored 7175877 5223
build-model-states-explored 7181097 5220
build-model-states-explored 7186342 5245
build-model-states-explored 7191630 5288
build-model-states-explored 7196887 5257
build-model-states-explored 7202139 5252
build-model-states-explored 7207396 5257
build-model-states-explored 7212665 5269
build-model-states-explored 7217951 5286
build-model-states-explored 7223200 5249
build-model-states-explored 7228437 5237
build-model-states-explored 7233691 5254
build-model-states-explored 7238981 5290
build-model-states-explored 7244261 5280
build-model-states-explored 7249538 5277
build-model-states-explored 7254820 5282
build-model-states-explored 7260134 5314
build-model-states-explored 7265365 5231
build-model-states-explored 7270597 5232
build-model-states-explored 7275832 5235
build-model-states-explored 7281032 5200
build-model-states-explored 7286253 5221
build-model-states-explored 7291488 5235
build-model-states-explored 7296766 5278
build-model-states-explored 7302040 5274
build-model-states-explored 7307323 5283
build-model-states-explored 7312588 5265
build-model-states-explored 7317893 5305
build-model-states-explored 7323123 5230
build-model-states-explored 7328370 5247
build-model-states-explored 7333670 5300
build-model-states-explored 7338952 5282
build-model-states-explored 7344342 5390
build-model-states-explored 7349681 5339
build-model-states-explored 7355035 5354
build-model-states-explored 7360372 5337
build-model-states-explored 7365712 5340
build-model-states-explored 7371047 5335
build-model-states-explored 7376334 5287
build-model-states-explored 7381655 5321
build-model-states-explored 7386905 5250
build-model-states-explored 7392186 5281
build-model-states-explored 7397526 5340
build-model-states-explored 7402844 5318
build-model-states-explored 7408156 5312
build-model-states-explored 7413450 5294
build-model-states-explored 7418789 5339
build-model-states-explored 7424096 5307
build-model-states-explored 7429434 5338
build-model-states-explored 7434804 5370
build-model-states-explored 7440099 5295
build-model-states-explored 7445379 5280
build-model-states-explored 7450674 5295
build-model-states-explored 7455952 5278
build-model-states-explored 7461207 5255
build-model-states-explored 7466492 5285
build-model-states-explored 7471778 5286
build-model-states-explored 7477083 5305
build-model-states-explored 7482342 5259
build-model-states-explored 7487649 5307
build-model-states-explored 7492972 5323
build-model-states-explored 7498318 5346
build-model-states-explored 7503664 5346
build-model-states-explored 7508982 5318
build-model-states-explored 7514291 5309
build-model-states-explored 7519604 5313
build-model-states-explored 7524938 5334
build-model-states-explored 7530254 5316
build-model-states-explored 7535592 5338
build-model-states-explored 7540954 5362
build-model-states-explored 7546235 5281
build-model-states-explored 7551512 5277
build-model-states-explored 7556800 5288
build-model-states-explored 7562106 5306
build-model-states-explored 7567420 5314
build-model-states-explored 7572780 5360
build-model-states-explored 7578095 5315
build-model-states-explored 7583429 5334
build-model-states-explored 7588771 5342
build-model-states-explored 7594114 5343
build-model-states-explored 7599420 5306
build-model-states-explored 7604762 5342
build-model-states-explored 7610064 5302
build-model-states-explored 7615352 5288
build-model-states-explored 7620690 5338
build-model-states-explored 7626045 5355
build-model-states-explored 7631335 5290
build-model-states-explored 7636576 5241
build-model-states-explored 7641828 5252
build-model-states-explored 7647122 5294
build-model-states-explored 7652356 5234
build-model-states-explored 7657597 5241
build-model-states-explored 7662898 5301
build-model-states-explored 7668170 5272
build-model-states-explored 7673440 5270
build-model-states-explored 7678722 5282
build-model-states-explored 7683998 5276
build-model-states-explored 7689298 5300
build-model-states-explored 7694550 5252
build-model-states-explored 7699781 5231
build-model-states-explored 7705039 5258
build-model-states-explored 7710254 5215
build-model-states-explored 7715503 5249
build-model-states-explored 7720768 5265
build-model-states-explored 7726005 5237
build-model-states-explored 7731300 5295
build-model-states-explored 7736581 5281
build-model-states-explored 7741848 5267
build-model-states-explored 7747099 5251
build-model-states-explored 7752391 5292
build-model-states-explored 7757689 5298
build-model-states-explored 7762972 5283
build-model-states-explored 7768213 5241
build-model-states-explored 7773471 5258
build-model-states-explored 7778751 5280
build-model-states-explored 7784037 5286
build-model-states-explored 7789336 5299
build-model-states-explored 7794571 5235
build-model-states-explored 7799816 5245
build-model-states-explored 7805170 5354
build-model-states-explored 7810541 5371
build-model-states-explored 7815858 5317
build-model-states-explored 7821171 5313
build-model-states-explored 7826469 5298
build-model-states-explored 7831819 5350
build-model-states-explored 7837130 5311
build-model-states-explored 7842482 5352
build-model-states-explored 7847861 5379
build-model-states-explored 7853157 5296
build-model-states-explored 7858469 5312
build-model-states-explored 7863747 5278
build-model-states-explored 7869064 5317
build-model-states-explored 7874372 5308
build-model-states-explored 7879733 5361
build-model-states-explored 7885068 5335
build-model-states-explored 7890394 5326
build-model-states-explored 7895743 5349
build-model-states-explored 7901095 5352
build-model-states-explored 7906407 5312
build-model-states-explored 7911743 5336
build-model-states-explored 7917079 5336
build-model-states-explored 7922458 5379
build-model-states-explored 7927824 5366
build-model-states-explored 7933197 5373
build-model-states-explored 7938511 5314
build-model-states-explored 7943809 5298
build-model-states-explored 7949091 5282
build-model-states-explored 7954392 5301
build-model-states-explored 7959690 5298
build-model-states-explored 7965008 5318
build-model-states-explored 7970271 5263
build-model-states-explored 7975541 5270
build-model-states-explored 7980858 5317
build-model-states-explored 7986154 5296
build-model-states-explored 7991473 5319
build-model-states-explored 7996778 5305
build-model-states-explored 8002123 5345
build-model-states-explored 8007470 5347
build-model-states-explored 8012819 5349
build-model-states-explored 8018123 5304
build-model-states-explored 8023458 5335
build-model-states-explored 8028826 5368
build-model-states-explored 8034143 5317
build-model-states-explored 8039473 5330
build-model-states-explored 8044836 5363
build-model-states-explored 8050180 5344
build-model-states-explored 8055524 5344
build-model-states-explored 8060899 5375
build-model-states-explored 8066255 5356
build-model-states-explored 8071549 5294
build-model-states-explored 8076889 5340
build-model-states-explored 8082181 5292
build-model-states-explored 8087502 5321
build-model-states-explored 8092865 5363
build-model-states-explored 8098198 5333
build-model-states-explored 8103550 5352
build-model-states-explored 8108914 5364
build-model-states-explored 8114280 5366
build-model-states-explored 8119608 5328
build-model-states-explored 8124959 5351
build-model-states-explored 8130326 5367
build-model-states-explored 8135682 5356
build-model-states-explored 8140950 5268
build-model-states-explored 8146172 5222
build-model-states-explored 8151424 5252
build-model-states-explored 8156706 5282
build-model-states-explored 8161923 5217
build-model-states-explored 8167140 5217
build-model-states-explored 8172423 5283
build-model-states-explored 8177668 5245
build-model-states-explored 8182928 5260
build-model-states-explored 8188182 5254
build-model-states-explored 8193454 5272
build-model-states-explored 8198748 5294
build-model-states-explored 8203984 5236
build-model-states-explored 8209199 5215
build-model-states-explored 8214427 5228
build-model-states-explored 8219632 5205
build-model-states-explored 8224859 5227
build-model-states-explored 8230088 5229
build-model-states-explored 8235320 5232
build-model-states-explored 8240586 5266
build-model-states-explored 8245831 5245
build-model-states-explored 8251105 5274
build-model-states-explored 8256351 5246
build-model-states-explored 8261632 5281
build-model-states-explored 8266909 5277
build-model-states-explored 8272187 5278
build-model-states-explored 8277425 5238
build-model-states-explored 8282659 5234
build-model-states-explored 8287937 5278
build-model-states-explored 8293205 5268
build-model-states-explored 8298499 5294
build-model-states-explored 8303765 5266
build-model-states-explored 8309061 5296
build-model-states-explored 8314337 5276
build-model-states-explored 8319542 5205
build-model-states-explored 8324765 5223
build-model-states-explored 8329983 5218
build-model-states-explored 8335173 5190
build-model-states-explored 8340406 5233
build-model-states-explored 8345637 5231
build-model-states-explored 8350902 5265
build-model-states-explored 8356071 5169
build-model-states-explored 8361260 5189
build-model-states-explored 8366445 5185
build-model-states-explored 8371650 5205
build-model-states-explored 8376893 5243
build-model-states-explored 8382107 5214
build-model-states-explored 8387330 5223
build-model-states-explored 8392328 4998
build-model-states-explored 8397559 5231
build-model-states-explored 8402839 5280
build-model-states-explored 8408085 5246
build-model-states-explored 8413328 5243
build-model-states-explored 8418561 5233
----------
Computation aborted after 1800.1854665279388 seconds since the total time limit of 1800 seconds was exceeded.